$\forall$$T$, $A$:Type, $x$:$T$. ($A$ $\subseteq$r $T$) $\Rightarrow$ (($x$ $\in$ []) $\Leftarrow\!\Rightarrow$ False)